propositional dynamic logic

[計(jì)] 命題動(dòng)態(tài)邏輯

熱門查詢

tilting　　n. 傾卸臺(tái) v. 使傾斜（tilt的ing形式） adj. [航][氣象] 傾斜；傾卸
downwards　　adv. 向下，往下
multileveled　　a. 多平面的；多層次的；以多層次人們?yōu)閷?duì)象的 n. 錯(cuò)層式套間公寓 [亦作 multi-level (1)ed]
scornful　　adj. 輕蔑的
joanne　　n. 喬安妮（女子名）
spadework　　n. 基本研究；挖掘的工作；費(fèi)力氣的基礎(chǔ)工作
else　　adj. 別的；其他的 adv. 其他；否則；另外 n. (Else)人名；(英)埃爾斯；(德)埃爾澤；(芬、丹)埃爾塞
sedan　　n. 轎車；轎子 n. (Sedan)人名；(英)塞丹
cholesteatoma　　n. [腫瘤] 膽脂瘤；[腫瘤] 珠光瘤
harbored　　vt. 庇護(hù)；懷有 n. 海港；避難所 vi. 居住，生存；入港停泊；躲藏 n. (Harbor)人名；(英)哈伯
carried　　v. 保持（carry的過去式和過去分詞）；搬運(yùn) adj. 被運(yùn)的；入神的；忘我的
electromagnetism　　n. 電磁；電磁學(xué)
bewitch　　vt. 施魔法于，蠱惑；使著迷
zomby　　僵停
planer　　n. 刨機(jī)，刨床；[機(jī)] 刨工 n. (Planer)人名；(俄、德、捷)普拉納
housing　　n. 房屋；住房供給；[機(jī)] 外殼；遮蓋物；機(jī)器等的防護(hù)外殼或外罩
dietetics　　n. 營(yíng)養(yǎng)學(xué)；飲食學(xué)
Australasian　　n. 澳大拉西亞人；大洋洲人 adj. 澳大拉西亞的
pricey　　adj. 高價(jià)的，過分昂貴的
presented　　v. 提出（present的過去分詞）；呈遞，提供